Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
121	On the Mirror Conjecture Bong Lian, Department of Mathematics, National University of Singapore; Department of Mathematics, Brandeis University, Waltham MA 02454, USA. [removed] Kefeng Liu, Department of Mathemat Add to Reading List Source URL: doctoryau.com Language: English - Date: 2008-03-23 01:15:25 Algebraic topology Characteristic classes Logical consequence Philosophical logic Theorems Euler characteristic Moduli space Euler class Atiyah–Bott fixed-point theorem Mathematics Topology Abstract algebra
122	HOMOLOGY OF GAUSSIAN GROUPS HOMOLOGIE DES GROUPES GAUSSIENS PATRICK DEHORNOY AND YVES LAFONT Abstract. We describe new combinatorial methods for constructing explicit free resolutions of Z by ZG-modules when G is a group Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2003-03-19 10:52:23 Semigroup theory Formal languages Mathematical logic Algebraic structures Garside element Monoid Free monoid Rewriting Inverse element Abstract algebra Algebra Mathematics
123	Contents Volume 0: Axiom Jenks and Sutor Volume 1: Axiom Tutorial Volume 2: Axiom Users Guide Volume 3: Axiom Programmers Guide Volume 4: Axiom Developers Guide Add to Reading List Source URL: axiom.axiom-developer.org Language: English - Date: 2012-06-11 00:53:23 Algebraic structures Axiom Vector space Polynomial Function Mathematical logic Matrix Cardinal number System of polynomial equations Mathematics Algebra Abstract algebra
124	Matching performed by David Niecikowski, University of Arizona College of Education Doctoral Student GRD K[removed] Add to Reading List Source URL: www.otb-games.com Language: English - Date: 2013-07-23 13:12:50 Topology Abstract algebra Algebraic logic Logarithm Function Metric Boolean algebra Euclidean vector Mathematics Algebra Functions and mappings
125	[removed]Propositional models Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:16 Propositional calculus Boolean algebra Algebraic logic Logic Truth table Boolean function Canonical form Predicate Logical connective Mathematical logic Mathematics Abstract algebra
126	Annals of Mathematics, [removed]), 239–315 Determination of the algebraic relations Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2004-11-29 12:04:30 Algebraic geometry Deduction Entailment Logical consequence Metalogic Valuation Motive Symbol Transcendental number Abstract algebra Logic Algebra
127	Mathematical Institute Slovak Academy of Sciences Add to Reading List Source URL: www.mat.savba.sk Language: English - Date: 2012-04-24 01:30:23 Algebraic logic Algebraic structures Operator theory Universal algebra Boolean algebra MV-algebra Ordinary differential equation Von Neumann algebra Variety Abstract algebra Mathematics Mathematical logic
128	The Rational Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-09-01 09:13:26 Algebraic logic Boolean algebra Metalogic Model theory Sigma-algebra Structure Function Action algebra Mathematics Mathematical logic Abstract algebra
129	The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2007-04-14 14:30:54 Model theory Algebraic structures Mathematical structures Field theory First-order logic Type Structure Universal algebra John V. Tucker Mathematics Abstract algebra Algebra
130	THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-07-14 09:38:18 Algebraic structures Alumni of the University of Bristol John V. Tucker Universal algebra Boolean algebra Interior algebra Banach algebra Abstract algebra Algebra Mathematics

UPDATE